home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / translate / inlineops.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  539 b   |  15 lines
  1. (* INLINE_OPS:   This defines operators which may be inlined in the
  2.    front-end by replacing them with abstract syntax.*)
  3.  
  4. signature INLINE_OPS =
  5.    sig
  6.       val inlsubscript : Lambda.lty -> Lambda.lexp
  7.       val inlsubscriptv : Lambda.lty -> Lambda.lexp
  8.       val inlupdate : Lambda.lty * Lambda.lexp -> Lambda.lexp
  9.       val inlbyteof : unit -> Lambda.lexp
  10.       val inlstore : unit -> Lambda.lexp
  11.       val inlordof : unit -> Lambda.lexp
  12.       val inlsubscriptf : unit -> Lambda.lexp
  13.       val inlupdatef : unit -> Lambda.lexp
  14.    end
  15.